Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
71	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
72	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
73	Distributed Community Detection on Edge-labeled Graphs using Spark San-Chuan Hung Miguel Araujo Add to Reading List Source URL: www.mlgworkshop.org Language: English - Date: 2016-08-14 01:22:56 Graph theory Mathematics Multilinear algebra Tensors Matroid theory Multivariate statistics Higher-order singular value decomposition Ear decomposition Graph Line graph Non-negative matrix factorization Bridge
74	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
75	1 Elements of large order in finite fields Felipe Voloch University of Texas at Austin Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2015-05-02 11:00:11 Algebra Abstract algebra Ring theory Field theory Finite field Algebraic number theory Field Galois theory Prime number Main conjecture of Iwasawa theory Algebraic number field
76	The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-01-14 21:47:14 Finite model theory FO IP Symbol Base Mathematics Creativity
77	Advances in Cognitive SystemsSubmitted; publishedExploiting Graph Structure to Abstract & Compress Relational Data Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:32:57 Graph theory Mathematics Discrete mathematics Line graph Graph Directed graph First-order logic Ear decomposition
78	Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-03-18 11:17:58 Mathematical logic Mathematics Logic Ontology General topology Predicate logic Topology Mereotopology Mereology Closure First-order logic Topological space
79	Second-order Lagrangians admitting a …rst-order Hamiltonian formalism M. Eugenia Rosado María Departamento de Matemática Aplicada Escuela Técnica Superior de Arquitectura, UPM Avda. Juan de Herrera 4, 28040-Madrid, Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Physics Theoretical physics Dynamical systems Quantum field theory Mathematical physics Mathematical analysis Calculus of variations Lagrangian Hamiltonian mechanics Jet bundle
80	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator